what is abstract data type in data structure